大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 EURAGE (Program) 的图书(共254本)

Structure, logic, and program design

0
索取号：TP33/E905
作者：Cohen、 Alan.、
出版社：Chichester [West Sussex] ; New York : Wiley, 1983.

Program design and data structures in Pascal

0
索取号：TP312/E9097
作者：Reynolds、 Charles W.、 1948-、
出版社：Belmont, Calif. : Wadsworth, 1986.

Algebraic approaches to program semantics

0
索取号：TP312/E90113
作者：Manes、 Ernest G.、 1943-、Arbib、 Michael A.、
出版社：New York : Springer-Verlag, 1986.

Algorithmic language and program development

0
索取号：TP312/E9087
作者：Bauer、 Friedrich Ludwig、 1924-、Wossner、 H. (Hans)、
出版社：Berlin ; New York : Springer-Verlag, 1982.

Ada : an introduction to program design and coding

0
索取号：TP312/E90163
作者：Amoroso、 Serafino.、Ingargiola、 Giorgio.、
出版社：Boston : Pitman, 1985.

Logic programming : systematic program development

0
索取号：TP311/E998
作者：Deville、 Yves、 1960-、
出版社：Wokingham, England ; Reading, Mass. : Addison-Wesley, 1990.

Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGESTA, Urbino, Italy, June 29-July 3, 1981

0
索取号：TP31-53/E905/1981
作者：Summer School on Computer Program Testing (1981 : Urbino、 Italy)、Chandrasekaran、 B.、 1942-、Radicchi、 S. (Sergio)、
出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.

Structured design : fundamentals of a discipline of computer program and systems design

0
索取号：TP31/E8038
作者：Yourdon、 Edward.、Constantine、 Larry L.、 joint author.、
出版社：N.Y. Yourdon Englewood Cliffs, N.J. : Prentice Hall, c1978.

Program style, design, efficiency, debugging, and testing

0
索取号：TP31/E8061.2
作者：Van Tassel、 Dennie、 1939-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1978.

How to get started with CP/M (control program for microcomputers)

0
索取号：TP31/E9032
作者：Townsend、 Carl、 1938-、Townsend、 Carl、 1938- How to get started with CP/M.、
出版社：Beaverton, Or. : Dilithium Press, 1981.

Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus

0
索取号：TP31/E90159
作者：NATO Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich、 Germany)、Pepper、 Peter.、NATO Science Committee.、North Atlantic Treaty Organization. Scientific Affairs Division.、
出版社：Berlin ; New York : Springer-Verlag, 1984.

Program evaluation : methods and case studies

0
索取号：TP31/E90155.3
作者：Posavac、 Emil J.、Carey、 Raymond G.、
出版社：Englewood Cliffs, N.J. : Prentice Hall, 1989.

Program evolution : processes of software change

0
索取号：TP31/E90156
作者：
出版社：London ; Orlando : Academic Press, 1985.

Program flow analysis : theory and applications

0
索取号：TP31/E90164
作者：
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1981.

Action diagrams : clearly structured program design

0
索取号：TP31/E90145
作者：Martin、 James、 1933-、McClure、 Carma L.、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1985.

An introduction to formal program verification

0
索取号：TP31/E90176
作者：Mili、 Ali.、
出版社：New York : Van Nostrand Reinhold Co., 1985.